<?php

require_once 'PHPCR/RepositoryException.php';


/**
 * Exception thrown by <code>Repository#login(Credentials, String)</code>
 * when a specific workspace is not found.
 *
 * @package phpcr
 */
class phpCr_NoSuchWorkspaceException extends phpCr_RepositoryException
{
}
